منابع مشابه
On certain fractional calculus operators involving generalized Mittag-Leffler function
The object of this paper is to establish certain generalized fractional integration and differentiation involving generalized Mittag-Leffler function defined by Salim and Faraj [25]. The considered generalized fractional calculus operators contain the Appell's function $F_3$ [2, p.224] as kernel and are introduced by Saigo and Maeda [23]. The Marichev-Saigo-Maeda fractional calculus operators a...
متن کاملTowards validated real-time software
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for design and the application of model-checking techniques for validation of real-time properties. Validation is carried out on a global formal model (timed automata) taking into account the effective implementation of t...
متن کاملA constraint-oriented real-time process calculus
A real-time extension of ccs is described, based on true concurrency semantics and a determination to make composition the sole arbiter of real-time behaviour. The resultant calculus has a simple definition, encourages constraint-oriented specification and exhibits considerable expressive power.
متن کاملA Lambda Calculus for Real Analysis
Abstract Stone Duality is a revolutionary theory that works directly with computable continuous functions, without using set theory, infinitary lattice theory or a prior theory of discrete computation. Every expression in the calculus denotes both a continuous function and a program, but the reasoning looks remarkably like a sanitised form of that in classical topology. This paper is an introdu...
متن کاملValidated instruments for assessing female sexual function.
In this article, we review five instruments for assessing female sexual dysfunction (FSD): the Brief Index of Sexual Functioning for Women (BISF-W; Taylor, Rosen, & Leiblum, 1994), the Changes in Sexual Functioning Questionnaire (CSFQ; Clayton, McGarvy, & Clavet, 1997), the Derogatis Interview for Sexual Functioning (DISF/DISF-SR; Derogatis, 1997), the Female Sexual Function Index (FSFI; Rosen ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematics in Computer Science
سال: 2011
ISSN: 1661-8270,1661-8289
DOI: 10.1007/s11786-011-0102-5